COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M1BDR25\M2NGR40\M3NGR25\M4NGR20\F2\CSTANFORD UNIVERSITY
C00004 ENDMK
C⊗;
\\M1BDR25;\M2NGR40;\M3NGR25;\M4NGR20;\F2\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4COMPUTER SCIENCE DEPARTMENT\←L\-R\/'7;\+R\→.\→S   Telephone:
\←S\→.415-321-2300
\F1\CNov 16,1973







Dr. W.P. deRoever
Mathematical Center
2e Boerhaavestraat 49
Amsterdam, Holland


Dear Dr. deRoever:

\JI would be most appreciative if I could receive copies of the following
reports:


Simple Recursive Program Schemes and Inductive Assertions; MR-#142.

Operational and Mathematical Semantics for Recursive Polyadic Program Schemata.


If there are any Stanford Reports which I could  send you I would be 
glad to oblige.
\.
\←L\→S\←R\-L\/'2;\+L\→L

Yours sincerely,





John R. Allen
Research Associate
Computer Science Dept
Artificial Intelligence Labs
Stanford University

\←S\→L
JRA:pdp10